منابع مشابه
Diamonds are a chemist's best friend: diamondoid chemistry beyond adamantane.
Marilyn Monroe knew that "diamonds are a girl's best friend" but, in the meantime, many chemists have realized that they are also extremely attractive objects in contemporary chemistry. The chemist's diamonds are usually quite small (herein: nanometer-sized "diamondoids") and as a result of their unique structure are unusual chemical building blocks. Since lower diamondoids (up to triamantane) ...
متن کاملDiamonds Are Not a Minimum Weight Triangulation's Best Friend
Two recent methods have increased hopes of finding a polynomial time solution to the problem of computing the minimum weight triangulation of a set S of n points in the plane . Both involve computing what was believed to be a connected or nearly connected subgraph of the minimum weight triangulation, and then completing the triangulation optimally. The first method uses the light graph of S as ...
متن کاملDiamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions
A major obstacle for using partial order reduction in the context of real time verification is that the presence of clocks and clock constraints breaks the usual diamond structure of otherwise independent transitions. This is especially true when information of the relative values of clocks is preserved in the form of diagonal constraints. However, when diagonal constraints are relaxed by a sui...
متن کاملDiamonds are a Philosopher's Best Friends
The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the unwanted disappearance of the diamond may be escaped. The emphasis is not laid on a discussion of the contentious premise of the knowability paradox...
متن کاملPetri Nets Are a Biologist's Best Friend
Understanding how genes regulate each other and how gene expression is controlled in living cells is crucial to cure genetic diseases such as cancer and represents a fundamental step towards personalised medicine. The complexity and the high concurrency of gene regulatory networks require the use of formal techniques to analyse the dynamical properties that control cell proliferation and differ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Materials Today
سال: 2008
ISSN: 1369-7021
DOI: 10.1016/s1369-7021(08)70195-0